- Проблема полной аксиоматизации элементарной геометрии
-
Евкли́дова геоме́трия — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).
Аксиоматика
Проблема полной аксиоматизации элементарной геометрии — одна из проблем геометрии, возникшая в Древней Греции в связи с критикой этой первой попытки построить полную систему аксиом так, чтобы все утверждения евклидовой геометрии следовали из этих аксиом чисто логическим выводом без наглядности чертежей.
В «Началах» Евклида, была дана следующая аксиоматика
- От всякой точки до всякой точки можно провести прямую.
- Ограниченную прямую можно непрерывно продолжать по прямой.
- Из всякого центра всяким раствором может быть описан круг.
- Все прямые углы равны между собой.
- Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Исследование системы аксиом Евклида во второй половине XIX века показало её неполноту.
В 1899 году Д. Гильберт предложил первую достаточно строгую аксиоматику евклидовой геометрии. Попытки улучшения евклидовой аксиоматики предпринимались до Гильберта Пашем, Шуром, Пеано, Веронезе, однако подход Гильберта, при всей его консервативности в выборе понятий, оказался более успешным.
Существуют и другие современные аксиоматики, наиболее известные:
- аксиоматика Тарского
- аксиоматика Биргофа, содержащая всего 4 аксиомы, но использующая вещественные числа как готовое понятие.
Литература
- Д. Гильберт Основания геометрии. Перевод с немецкого под редакцией А. В. Васильева. — Л.: «Сеятель», 1923—152 с.
- Математический энциклопедический словарь, — М.: «Советская энциклопедия», 1988.
Wikimedia Foundation. 2010.